|
|
Abstraction in Automata Algorithms
Kocourek, Tomáš ; Lengál, Ondřej (oponent) ; Holík, Lukáš (vedoucí práce)
The goal of this thesis is to implement and experimentally compare antichain-based algorithms with and without abstraction, which decide the emptiness of alternating finite automata. The author also proposes his own algorithms using abstraction and comes up with a few optimizations of existing abstract algorithms. The thesis introduces the theoretical background of studied algorithms and describes efficient ways to implement data structures which are used by these algorithms. The experimental evaluation over random automata shows that the algorithms without abstraction give us better results in general because they do not perform costly evaluation of closed set intersection and complementation. However, in case of automata with high transition density, the algorithms without abstraction tend to decelerate, while the abstract ones accelerate.
|
|
|
Trendy v současném umění
Janovská, Anna ; Ptáček, Jiří (oponent) ; Stratil, Václav (vedoucí práce)
Diplomová práce obsahuje 4 malby na plátně a cca 10 maleb na papíře. Její abstraktní charakter určuje snovou atmosféru obrazů vytvořených v prostředí ateliéru Intermédia a zachycuje autorčin přístup. Tato práce má ambice řadit se do aktuálního uměleckého diskurzu, a to především v oblasti současné malby. Autorka vnímá uměleckou scénu, je si vědoma tendencí a trendů. Je však otázkou, co jsou současné trendy, kdo je určuje a jakým způsobem je umělečtí kritici vnímají a zachycují, popřípadě zařazují a selektují. Také je otázkou, zda trend přetrvá a zda se z něj stane směr, který bude možné zařadit v kontextu dějin umění. Zároveň autorka vnímá určitou autonomii ateliéru Intermédia a jeho svobodu. Soubor maleb s názvem „JSOU“ vznikl během uvědomování si, že každý může vidět své bytosti jak chce. Autorka je ztvárnila svýma očima a tím tedy říká, že „jsou“.
|
|
|
Generování stromových struktur pro účely testování informačních systémů
Rozsíval, Michal ; Hruška, Martin (oponent) ; Smrčka, Aleš (vedoucí práce)
Cílem této práce je vytvořit nástroj automatizující testování informačních systémů. Nástroj vytváří testovací zprávy podobné těm v reálném provozu, přičemž podobností se v rámci této práce rozumí podobnost struktur posílaných dat. Princip činnosti spočívá ve zpracování záznamu komunikace, který si nástroj načte a jednotlivé v něm obsažené zprávy převede do uniformního formátu. Takto uložené zprávy klasifikuje do skupin, které abstrahuje do podoby vhodné pro následné generování náhodných testovacích zpráv. Podporována je komunikace prostřednictvím protokolu REST API a OPC UA a stromově strukturovaná data ve formátu JSON a XML . Nové zprávy jsou vytvářeny na základě kombinačního testování s pokrytím Pair-Wise . Výsledná funkcionalita nástroje byla ověřena na reálných záznamech komunikace.
|
|
|
Pokrytelnosti pro paralelní programy
Turoňová, Lenka ; Vojnar, Tomáš (oponent) ; Holík, Lukáš (vedoucí práce)
Tato diplomová práce se zabývá automatickou verifikací systémů s paralelně běžícími procesy. Práce diskutuje existující metody a možnosti jejich optimalizace. Stávající techniky jsou založeny na hledání induktivního invariantu (například pomocí techniky zjemňování abstrakce řízené protipříklady (CEGAR)). Efektivnost metod závisí na velikosti nalezeného invariantu. V rámci této diplomové práce jsme nalezli možnost zlepšení metod díky zaměření se na hledání invariantů minimální velikosti. Naimplementovali jsme nástroj, který zajišťuje prohledávání prostoru invariantů systému. Naše experimentální výsledky ukazují, že mnoho existujících systémů užívaných v praxi má skutečně mnohem menší invarianty než ty, které lze nalézt stávajícími metodami. Závěry a výsledky této práce budou sloužit jako základ budoucího výzkumu, jehož cílem bude navržení optimální metody pro vypočítání malých invariantů paralelních systémů.
|
|
|
Morfologie zbroje
Bařák, Hynek ; Zálešák, Jan (oponent) ; Kvíčala, Petr (vedoucí práce)
Ve své bakalářské práci jsem velmi inspirován středověkem, který má velký vliv na moji tvorbu. Je to období, o které se aktivně zajímám, a provází mě prakticky od dětství. V obrazech se objevují hlavně motivy rytířské zbroje, která je zásadní a takový základní kámen mé tvorby. Zbrojí jsem fascinován, pro svou v pozdnějším období středověku technickou dokonalost, zdobnost a majestátnost. Vlastně zbroj už neplnila funkci ochrannou, ale reprezentativní, a můžeme ji brát jako umělecké dílo, sochu. Po technické stránce hodně experimentuji s různými technikami, ve většině případu nikdy nezůstávám u jedné. Pracuji s vrstvami, podkladem, s kresbou i malbou zároveň. Různým vymýváním, vyrýváním se vracím zpět a odkrývám spodní vrstvy, reaguji na ně, následně přemaluji, prostě experimentuji.Je to i taková archeologie zpět do starých vrstev obrazu. Objevovaní, spojení, provázání původních vrstev s novými. Z malířů mě inspirují především Josef Bolf, Vladimír Kokolia, Jaroslav Róna, Giger, Wolfli, Jackson Pollock.
|
|
|
Osobní rovina melancholie
Kubátová, Veronika ; Zapletal, Aleš (oponent) ; Artamonov, Vasil (vedoucí práce)
Bakalářská práce na téma Osobní rovina melancholie. Toto téma již od samého počátku vycházelo z podstaty, že se tato práce bude dotýkat mně osobně a bude vycházet z podstaty mé osobnosti a navazovat na mé předchozí přístupy k malbě, jež se formovaly během předchozích studií. Mým cílem bylo vytvořit abstraktní malby, které svým významem souzní i s materiálovou podstatou a jsou schopny tyto prostředky ukázat v procesu práce.
|
|
|
Nová synagoga Opava
Bartošová, Monika ; Baranyai, René (oponent) ; Dulenčín, Juraj (vedoucí práce)
Diplomová práce se zabývá návrhem nové synagogy v Opavě. Řešené územíje vymezeno na místě bývalé synagogy nedaleko centra města za dnesuž neexistujícími městskými hradbami, jak bylo pro lokaci židovských obcí typické. Na místě původního opevnění se dnes z velké části nachází pás městských sadů, jejichž pomyslným zakončením je historická budova obchodního domu Breda. Fakt,že řešené území přiléhá k těmto sadům, hrál v návrhu důležitou roli. Dalším podstatným faktorem vstupujícím do návrhu byla okolní bloková zástavba. Z těchto vstupních činitelů pak vzešel koncept uspořádáním území, spočívající ve vytvoření polootevřeného bloku směrem k zelenému okružnímu pásu, v jehož centrálním místě je dále umístěna solitérní budova nové synagogy. Budova komunitního centra dotvářející stávající blokovou zástavbu pak tvoří spíše pozadí pro tuto synagogu. Koncept samotné budovy synagogy nevzešel z konkrétního symbolu, ale spíše abstraktna, které vnímám jako typické pro víru, protože i písmo svaté je přeci pouhou interpretací určitých událostí, které si při jeho čtení či výkladu každý může představovat jinak. Objekt synagogy tak levituje v oblaku měnícím se v závislosti na úhlu pohledu. Je více či méně patrný – je i není. Přesah navrhované stavby pak spočívá v dalším umístění sloupů tvořících oblak i v důležitých bodech města. Na sloupech můžeme najít židovské verše v obou jazycích, jejichž písmo se po setmění rozzáří.
|
|
|
"Bez názvu"
Cáb, Martin ; Hodboď, Tomáš (oponent) ; Stratil, Václav (vedoucí práce)
Ve své závěrečné bakalářské práci zpracovávám portrét Ježíše Krista. Vzhledem k historickému vývoji křesťanské ikonografie se jedná o abstraktní pojetí, ve kterém je Kristus znázorněn pouze jednoduchými konkrétními prvky, které jsou signifikantní pro jeho osobnost jak v rovině obecné, tak především v mé osobní.
|
|
| |
|
|
Amicorum
Čížková, Michaela ; Šrek Bromová, Veronika (oponent) ; Helia De Felice, Jennifer (vedoucí práce)
Ve své bakalářské práci vycházím z několika aspektů, které byly typické pro mou předešlou tvorbu. Tyto aspekty se nezávisle na sobě prolínají a tvoří tak nový celek. Opěrnými body týkající se práce jsou Ebru, Zentai, autoportrét, náhoda, abstrakce či estetično. Ebru jako klasickou techniku malby na vodě rozvíjím do nových médií.
|
host ::
RSS.